On Mobility Extensions of UML Statecharts. A Pragmatic Approach
نویسندگان
چکیده
In this paper an extension of a behavioural subset of UML Statecharts for modeling mobility issues is proposed. In this extension we relax the unique association between each Statechart in a collection of Statecharts modeling a system and its input-queue and we allow the use of (queue) name variables in communication actions. The resulting communication paradigm is much more flexible than the standard asymmetric one and is well suited for the modelling of mobility-oriented as well as fault tolerant systems.
منابع مشابه
Mobile UML Statecharts with Localities
In this paper an extension of a behavioural subset of UML statecharts for mobile computations is proposed. We study collections of UML objects whose behaviour is given by statecharts. Each object resides in a given place, and a collection of such places forms a network. Objects are aware of the localities of other objects, i.e. the logical names of the places where the latter reside, but not of...
متن کاملA Formalization of Uml Statecharts for Real-time Software Modeling
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to learn and use, UML is very popular, unlike formal methods. However, formal models provide developers with several benefits: they can be used for activities –like property verification, simulation, test case generation,...
متن کاملModeling Aspect-Oriented Compositions
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This paper presents a framework for modularizing crosscutting concerns in embedded and distributed software, and automating their composition at the modeling level, for simulation and validation purposes. The proposed approach ...
متن کاملSystem Model Semantics of Statecharts
In this report, semantics for Statecharts is defined based on a mathematical model of object systems called"system model". The semantics definition is detailed for UML/P Statecharts, a variant of Statecharts which restricts the use of a few methodologically and semantically difficult concepts. After transforming full UML/P Statecharts to simplified but semantically equivalent Statecharts, the s...
متن کاملPLC-Statecharts: An Approach to Integrate UML-Statecharts in Open-Loop Control Engineering ï¿1⁄2 Aspects on Behavioral Semantics and Model-Checking
This paper presents the core concepts for PLC-statecharts an adaptation of UML-statecharts which can be used as a visual programming language for PLCs. They combine the advantages of UMLstatecharts with a strict formal basis and can be transparently used in the context of IEC 61131-3 (3 Edition). The defined formal behavioral semantics sets the basis for an automatic transformation of PLC-state...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003